Modeling Guidelines for Code Generation in the Railway Signaling Context
نویسندگان
چکیده
Modeling guidelines constitute one of the fundamental cornerstones for Model Based Development. Their relevance is essential when dealing with code generation in the safety-critical domain. This article presents the experience of a railway signaling systems manufacturer on this issue.
منابع مشابه
Formal Development for Railway Signaling Using Commercial Tools
This report presents the approach experimented by a railway signaling manufacturer for the development of applications through Simulink/Stateflow in a standard–regulated industrial framework. The General Electric Transportation Systems (GETS) railway signaling division of Florence, inside a long-term effort of introducing formal methods to enforce product safety, decided to adopt the Simulink/S...
متن کاملUse of model transformation for the formal analysis of railway interlocking models
Model transformation is at the heart of Model-Driven Engineering (MDE). In MDE, the system model is specified using a modelling language, such as UML (Unified Modelling Language) or a DSL (Domain-Specific Language). Once a model is specified, executable code for a computing platform can be automatically generated by means of model transformation (code generation). Besides the support for increm...
متن کاملAutomatic Generation of a Multi Agent System for Crisis Management by a Model Driven Approach
Considering the increasing occurrences of unexpected events and the need for pre-crisis planning in order to reduce risks and losses, modeling instant response environments is needed more than ever. Modeling may lead to more careful planning for crisis-response operations, such as team formation, task assignment, and doing the task by teams. A common challenge in this way is that the model shou...
متن کاملAdoption of Code Generation by a Railway Signalling Manufacturer
This dissertation is the result of a three years research experience at General Electric Transportation Systems (GETS), Intelligent Systems division of Florence. GETS is a well known railway signalling manufacturer that started practicing formal methods in 2002, with exploratory projects performed in collaboration with the Computer Engineering department (D.S.I. Dipartimento di Sistemi e Inform...
متن کاملModulation of Some Insulin Signaling Genes Due to Prenatal Rice Consumption
Objective: A clinically observable metabolic disorder often takes its root from modulation of transcriptional factors which in turn are responsible for perturbed protein expressions and their sequelae. Perinatal perturbations due to chronic prenatal exposure to a certain type of rice could predispose parents exposed to such ‘insult’ and their subsequent offsprings to metabolic diseases. Materi...
متن کامل